We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

Proof complexity of CSP on algebras with linear congruence

Azza Gaysin (Charles University)

04-Apr-2022, 14:00-15:30 (4 years ago)

logic

Audience: researchers in the topic

IM CAS logic seminar

Organizer:	Neil Thapen*
	*contact for this listing

Export talk to